Buy Used and New Bernhard Steffen Books

Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science)

by Bernhard Steffen,Ernst-R??diger Olderog

ISBN 13: 9783540666240

Format: Paperback (436 pages)
Publisher: Springer
Published: 22 Sep 1999

Save for later

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science)

by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga

ISBN 13: 9783540643678

Format: Paperback (344 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science)

by Bernhard Steffen,Tiziana Margaria

ISBN 13: 9783540610427

Format: Paperback (456 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)

by Bernhard Steffen,Oliver Rüthing,Malte Isberner

ISBN 13: 9783642401459

Format: Hardcover (208 pages)
Publisher: Springer
Published: 30 Oct 2013

Save for later

Transactions on Foundations for Mastering Change I: 9960 (Lecture Notes in Computer Science)

by Bernhard Steffen

ISBN 13: 9783319465074

Format: Paperback (272 pages)
Publisher: Springer
Published: 30 Sep 2016

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, ... I: 9952 (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen

ISBN 13: 9783319471655

Format: Paperback (1002 pages)
Publisher: Springer
Published: 06 Oct 2016

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA ... II: 9953 (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen

ISBN 13: 9783319471686

Format: Paperback (894 pages)
Publisher: Springer
Published: 06 Oct 2016

Save for later

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)

by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

ISBN 13: 9783319519623

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science)

by Bernhard Steffen,Giorgio Levi

ISBN 13: 9783540208037

Format: Paperback (342 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783662452301

Format: Paperback (664 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783662452332

Format: Paperback (568 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

by Bernhard Steffen,Oliver Rüthing,Michael Huth

ISBN 13: 9783319683966

Format: Hardcover (258 pages)
Publisher: Springer
Published: 03 Apr 2018

Save for later